"查查詞典"手機版
千萬人都在用的超大詞匯詞典翻譯APP
In mathematical logic, the implicational propositional calculus is a version of classical propositional calculus which uses only one connective, called implication or conditional. In formulas, this binary operation is indicated by "implies", "if ...
詳細百科解釋